Nuprl Definition : w-Msg
0,22
postcript
pdf
Msg == Msg(
w
.M)
latex
clarification:
w-Msg(
w
) == Msg(
w
.M)
latex
Definitions
w
.M
,
Msg(
M
)
,
Msg
FDL editor aliases
w-Msg
origin